System programming language - PDFSEARCH.IO - Document Search Engine

System programming language
Results: 2012

#	Item
621	Contextual Polymorphism by Glen Jerey Ditcheld A thesis Add to Reading List Source URL: plg.uwaterloo.ca Language: English - Date: 2015-01-30 12:38:55 Programming language theory Polymorphism Data types Object-oriented programming Parametric polymorphism Ad-hoc polymorphism Type system Subtype polymorphism Function overloading Type theory Software engineering Computing
622	From System F to Typed Assembly Language∗ Greg Morrisett David Walker Karl Crary Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-04-14 16:12:44 Type theory Procedural programming languages Data types Functional languages Models of computation Type safety Symbol Pointer Closure Software engineering Computing Programming language theory
623	Educational Object Oriented Programming Language Design: (A Survey On Blue Language) Hojjat Sheikhattar [removed] Some design principles (some of them are barrowed from Blue language Add to Reading List Source URL: jellyj.sourceforge.net Language: English - Date: 2002-04-11 07:00:32 Data types Object-oriented programming Object Class Type system Literal Pointer Programming language Ada Software engineering Computing Computer programming
624	Loom Tutorial For Loom Release 2.1 Release Date: May 17, 1995 Add to Reading List Source URL: www.isi.edu Language: English - Date: 2001-02-16 19:09:10 Lisp programming language LOOM Ontology Knowledge representation and reasoning Shed Lisp Programming language Common Lisp Object System Expert system Computing Software engineering Computer programming
625	STEPS Toward The Reinvention of Programming First Year Progress Report Dec 2007 VPRI Technical Report TR[removed] Add to Reading List Source URL: www.vpri.org Language: English - Date: 2015-01-21 19:14:29 Cross-platform software Scripting languages Programming paradigms JavaScript Programming language Type system Lua Prolog C Computing Software engineering Software
626	General Notes Please read this page carefully! • There are six problems A, B, C, D, E, and F. • To solve the problems, you can use any platform, operating system, programming language, development tools, libraries, Add to Reading List Source URL: ch24.org Language: English - Date: 2010-12-16 06:07:55 Data differencing Diff Pattern matching TeX Comm Dc AWK Brainfuck Computing Software Unix
627	Procedural Semantics for a Modal Type System Giuseppe Primiero FWO - Flemish Research Foundation Centre for Logic and Philosophy of Science, Ghent University IEG - Oxford University Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-07-22 05:24:16 Logic Proof theory Programming language semantics Curry–Howard correspondence Philosophy of computer science Type theory Operational semantics Programming language Interpretation Theoretical computer science Logic in computer science Mathematical logic
628	Type Systems Luca Cardelli Microsoft Research 1 Introduction The fundamental purpose of a type system is to prevent the occurrence of execution errors during the running of a program. This informal statement motivates th Add to Reading List Source URL: lucacardelli.name Language: English - Date: 2007-10-27 12:43:06 Programming language theory Data types Cross-platform software Program analysis Procedural programming languages Type system Strong typing Type inference Programming language Software engineering Type theory Computing
629	What is Real Time systems FRESCOR and flexible scheduling Add to Reading List Source URL: marte.unican.es Language: English - Date: 2009-03-04 14:24:22 Embedded operating systems Ada programming language Scheduling algorithms Real-time operating systems Modeling and Analysis of Real Time and Embedded systems Operating system Scheduling POSIX Ada Computing Software engineering Computer programming
630	Scalable Certification of Native Code: Experience from Compiling to TALx86 Dan Grossman Greg Morrisett ∗ Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2000-02-02 20:38:09 Type theory Programming language theory Calling convention Assembly language Function prologue Type inference Type system Annotation X86 Software engineering Subroutines Computing

UPDATE